https://filesoo.com/product/14232/foundations-of-the-formal-sciences-vi-probabilistic-reasoning-and-reasoning-with-probabilities